deferred class Base
feature
        INIT
        deferred
        end
end

class APP
inherit
        BASE
        redefine INIT
feature
       INIT
       do
          Precursor.INIT
       end
end